Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)
by Bertrand Meyer,Martin Nordio
ISBN 13: 9783642357459
Format: Paperback (192 pages) Publisher: Springer Published: 30 Nov 2012
Save for later
Touch of Class: Learning to Program Well with Objects and Contracts
by Bertrand Meyer
ISBN 13: 9783662519073
Format: Paperback (944 pages) Publisher: Springer Published: 23 Aug 2016